The essence of ideal completion in quantitative form

If a posets lacks joins of directed subsets, one can pass to its ideal completion. But doing this means also changing the setting: The universal property of ideal completion of posets suggests that it should be regarded as a functor from the category of posets with monotone maps to the category of dcpos with Scott-continuous functions as morphisms. The same applies for the quantitative version of ideal completion suggested in the literature. As in the case of posets, it seems advantageous to consider a diierent topology with the completed spaces. We introduce Smyth completion as tool to automatically end up with the right topology after completing.